// JavaScript Document
function menu(num){
	for(var i=1;i<=3;i++){
		if(i==num){
			document.getElementById("a"+i).style.display="block";
			document.getElementById("b"+i).className="b";
		}
		else{
			document.getElementById("a"+i).style.display="none";
			document.getElementById("b"+i).className="";
		}
	}
}